$\vdash$  TERMOF\{less{-}fast{-}fib:ObjectId, $\backslash\backslash$v:l\} $\in$ ($\forall$$n$:$\mathbb{N}$. \{$m$:$\mathbb{N}\mid$ $m$ = fib($n$)\} )